Optimal. Leaf size=1043 \[ \frac{(c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) \log (d+e x) e^4}{\left (c d^2-b e d+a e^2\right )^4}-\frac{(c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) \log \left (c x^2+b x+a\right ) e^4}{2 \left (c d^2-b e d+a e^2\right )^4}+\frac{\left (6 c^4 f d^4+c^3 (4 a e (6 e f-d g)-3 b d (4 e f+d g)) d^2-b^3 e^3 (3 b e f-2 b d g-a e g)-b c e^2 \left (-3 d (e f-d g) b^2-a e (21 e f-13 d g) b+7 a^2 e^2 g\right )-c^2 e \left (-b^2 (3 e f+7 d g) d^2+6 a b e (4 e f+d g) d+2 a^2 e^2 (15 e f-22 d g)\right )\right ) e}{\left (b^2-4 a c\right )^2 \left (c d^2-b e d+a e^2\right )^3 (d+e x)}-\frac{\left (12 c^6 f d^6+2 c^5 (2 a e (15 e f-2 d g)-3 b d (6 e f+d g)) d^4+10 c^4 e \left (b^2 (3 e f+2 d g) d^2-a b e (12 e f+d g) d+2 a^2 e^2 (9 e f-4 d g)\right ) d^2+b^5 e^5 (3 b e f-2 b d g-a e g)+b^3 c e^4 \left (-d (6 e f-5 d g) b^2-10 a e (3 e f-2 d g) b+10 a^2 e^2 g\right )-10 a b c^2 e^4 \left (-d (6 e f-5 d g) b^2-3 a e (3 e f-2 d g) b+3 a^2 e^2 g\right )-10 c^3 e^2 \left (2 b^3 g d^4-8 a b^2 e g d^3+3 a^2 b e^2 (6 e f-d g) d+6 a^3 e^3 (e f-2 d g)\right )\right ) \tanh ^{-1}\left (\frac{b+2 c x}{\sqrt{b^2-4 a c}}\right )}{\left (b^2-4 a c\right )^{5/2} \left (c d^2-b e d+a e^2\right )^4}-\frac{4 a c e (2 c d-b e) (2 c d f+2 a e g-b (e f+d g))-\left (-e b^2+c d b+2 a c e\right ) \left (6 c^2 f d^2-b e (3 b e f-2 b d g-a e g)+c (2 a e (5 e f-2 d g)-b d (2 e f+3 d g))\right )-c \left (12 c^3 f d^3+2 c^2 (2 a e (9 e f-2 d g)-3 b d (3 e f+d g)) d+b^2 e^2 (3 b e f-2 b d g-a e g)+c e \left (11 b^2 g d^2+16 a^2 e^2 g-2 a b e (9 e f+5 d g)\right )\right ) x}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b e d+a e^2\right )^2 (d+e x) \left (c x^2+b x+a\right )}-\frac{-e f b^2+c d f b+a e g b+2 a c e f-2 a c d g+c (2 c d f+2 a e g-b (e f+d g)) x}{2 \left (b^2-4 a c\right ) \left (c d^2-b e d+a e^2\right ) (d+e x) \left (c x^2+b x+a\right )^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 6.29436, antiderivative size = 1043, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 6, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.24, Rules used = {822, 800, 634, 618, 206, 628} \[ \frac{(c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) \log (d+e x) e^4}{\left (c d^2-b e d+a e^2\right )^4}-\frac{(c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) \log \left (c x^2+b x+a\right ) e^4}{2 \left (c d^2-b e d+a e^2\right )^4}+\frac{\left (6 c^4 f d^4+c^3 (4 a e (6 e f-d g)-3 b d (4 e f+d g)) d^2-b^3 e^3 (3 b e f-2 b d g-a e g)-b c e^2 \left (-3 d (e f-d g) b^2-a e (21 e f-13 d g) b+7 a^2 e^2 g\right )-c^2 e \left (-b^2 (3 e f+7 d g) d^2+6 a b e (4 e f+d g) d+2 a^2 e^2 (15 e f-22 d g)\right )\right ) e}{\left (b^2-4 a c\right )^2 \left (c d^2-b e d+a e^2\right )^3 (d+e x)}-\frac{\left (12 c^6 f d^6+2 c^5 (2 a e (15 e f-2 d g)-3 b d (6 e f+d g)) d^4+10 c^4 e \left (b^2 (3 e f+2 d g) d^2-a b e (12 e f+d g) d+2 a^2 e^2 (9 e f-4 d g)\right ) d^2+b^5 e^5 (3 b e f-2 b d g-a e g)+b^3 c e^4 \left (-d (6 e f-5 d g) b^2-10 a e (3 e f-2 d g) b+10 a^2 e^2 g\right )-10 a b c^2 e^4 \left (-d (6 e f-5 d g) b^2-3 a e (3 e f-2 d g) b+3 a^2 e^2 g\right )-10 c^3 e^2 \left (2 b^3 g d^4-8 a b^2 e g d^3+3 a^2 b e^2 (6 e f-d g) d+6 a^3 e^3 (e f-2 d g)\right )\right ) \tanh ^{-1}\left (\frac{b+2 c x}{\sqrt{b^2-4 a c}}\right )}{\left (b^2-4 a c\right )^{5/2} \left (c d^2-b e d+a e^2\right )^4}-\frac{4 a c e (2 c d-b e) (2 c d f+2 a e g-b (e f+d g))-\left (-e b^2+c d b+2 a c e\right ) \left (6 c^2 f d^2-b e (3 b e f-2 b d g-a e g)+c (2 a e (5 e f-2 d g)-b d (2 e f+3 d g))\right )-c \left (12 c^3 f d^3+2 c^2 (2 a e (9 e f-2 d g)-3 b d (3 e f+d g)) d+b^2 e^2 (3 b e f-2 b d g-a e g)+c e \left (11 b^2 g d^2+16 a^2 e^2 g-2 a b e (9 e f+5 d g)\right )\right ) x}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b e d+a e^2\right )^2 (d+e x) \left (c x^2+b x+a\right )}-\frac{-e f b^2+c d f b+a e g b+2 a c e f-2 a c d g+c (2 c d f+2 a e g-b (e f+d g)) x}{2 \left (b^2-4 a c\right ) \left (c d^2-b e d+a e^2\right ) (d+e x) \left (c x^2+b x+a\right )^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 822
Rule 800
Rule 634
Rule 618
Rule 206
Rule 628
Rubi steps
\begin{align*} \int \frac{f+g x}{(d+e x)^2 \left (a+b x+c x^2\right )^3} \, dx &=-\frac{b c d f-b^2 e f+2 a c e f-2 a c d g+a b e g+c (2 c d f+2 a e g-b (e f+d g)) x}{2 \left (b^2-4 a c\right ) \left (c d^2-b d e+a e^2\right ) (d+e x) \left (a+b x+c x^2\right )^2}-\frac{\int \frac{6 c^2 d^2 f-b e (3 b e f-2 b d g-a e g)+c (2 a e (5 e f-2 d g)-b d (2 e f+3 d g))+4 c e (2 c d f+2 a e g-b (e f+d g)) x}{(d+e x)^2 \left (a+b x+c x^2\right )^2} \, dx}{2 \left (b^2-4 a c\right ) \left (c d^2-b d e+a e^2\right )}\\ &=-\frac{b c d f-b^2 e f+2 a c e f-2 a c d g+a b e g+c (2 c d f+2 a e g-b (e f+d g)) x}{2 \left (b^2-4 a c\right ) \left (c d^2-b d e+a e^2\right ) (d+e x) \left (a+b x+c x^2\right )^2}-\frac{4 a c e (2 c d-b e) (2 c d f+2 a e g-b (e f+d g))-\left (b c d-b^2 e+2 a c e\right ) \left (6 c^2 d^2 f-b e (3 b e f-2 b d g-a e g)+c (2 a e (5 e f-2 d g)-b d (2 e f+3 d g))\right )-c \left (12 c^3 d^3 f+b^2 e^2 (3 b e f-2 b d g-a e g)+2 c^2 d (2 a e (9 e f-2 d g)-3 b d (3 e f+d g))+c e \left (11 b^2 d^2 g+16 a^2 e^2 g-2 a b e (9 e f+5 d g)\right )\right ) x}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^2 (d+e x) \left (a+b x+c x^2\right )}+\frac{\int \frac{-2 \left (2 c e (b d (c d-b e)+a e (4 c d-b e)) (2 c d f+2 a e g-b (e f+d g))-\frac{1}{2} \left (2 c^2 d^2-2 b^2 e^2+6 a c e^2\right ) \left (6 c^2 d^2 f-b e (3 b e f-2 b d g-a e g)+c (2 a e (5 e f-2 d g)-b d (2 e f+3 d g))\right )\right )+2 c e \left (12 c^3 d^3 f+b^2 e^2 (3 b e f-2 b d g-a e g)+2 c^2 d (2 a e (9 e f-2 d g)-3 b d (3 e f+d g))+c e \left (11 b^2 d^2 g+16 a^2 e^2 g-2 a b e (9 e f+5 d g)\right )\right ) x}{(d+e x)^2 \left (a+b x+c x^2\right )} \, dx}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^2}\\ &=-\frac{b c d f-b^2 e f+2 a c e f-2 a c d g+a b e g+c (2 c d f+2 a e g-b (e f+d g)) x}{2 \left (b^2-4 a c\right ) \left (c d^2-b d e+a e^2\right ) (d+e x) \left (a+b x+c x^2\right )^2}-\frac{4 a c e (2 c d-b e) (2 c d f+2 a e g-b (e f+d g))-\left (b c d-b^2 e+2 a c e\right ) \left (6 c^2 d^2 f-b e (3 b e f-2 b d g-a e g)+c (2 a e (5 e f-2 d g)-b d (2 e f+3 d g))\right )-c \left (12 c^3 d^3 f+b^2 e^2 (3 b e f-2 b d g-a e g)+2 c^2 d (2 a e (9 e f-2 d g)-3 b d (3 e f+d g))+c e \left (11 b^2 d^2 g+16 a^2 e^2 g-2 a b e (9 e f+5 d g)\right )\right ) x}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^2 (d+e x) \left (a+b x+c x^2\right )}+\frac{\int \left (\frac{2 e^2 \left (-6 c^4 d^4 f+b^3 e^3 (3 b e f-2 b d g-a e g)+b c e^2 \left (7 a^2 e^2 g-a b e (21 e f-13 d g)-3 b^2 d (e f-d g)\right )-c^3 d^2 (4 a e (6 e f-d g)-3 b d (4 e f+d g))+c^2 e \left (2 a^2 e^2 (15 e f-22 d g)+6 a b d e (4 e f+d g)-b^2 d^2 (3 e f+7 d g)\right )\right )}{\left (c d^2-b d e+a e^2\right ) (d+e x)^2}+\frac{2 \left (b^2-4 a c\right )^2 e^5 (c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g))}{\left (c d^2-b d e+a e^2\right )^2 (d+e x)}+\frac{2 \left (6 c^6 d^6 f+b^5 e^5 (3 b e f-2 b d g-a e g)-c^3 e^2 \left (10 b^3 d^4 g-40 a b^2 d^3 e g+a^2 b d e^2 (138 e f-55 d g)+30 a^3 e^3 (e f-2 d g)\right )-a b c^2 e^4 \left (23 a^2 e^2 g-9 b^2 d (6 e f-5 d g)-23 a b e (3 e f-2 d g)\right )+b^3 c e^4 \left (9 a^2 e^2 g-b^2 d (6 e f-5 d g)-9 a b e (3 e f-2 d g)\right )+c^5 d^4 (2 a e (15 e f-2 d g)-3 b d (6 e f+d g))+5 c^4 d^2 e \left (2 a^2 e^2 (9 e f-4 d g)-a b d e (12 e f+d g)+b^2 d^2 (3 e f+2 d g)\right )-c \left (b^2-4 a c\right )^2 e^4 (c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) x\right )}{\left (c d^2-b d e+a e^2\right )^2 \left (a+b x+c x^2\right )}\right ) \, dx}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^2}\\ &=\frac{e \left (6 c^4 d^4 f-b^3 e^3 (3 b e f-2 b d g-a e g)-b c e^2 \left (7 a^2 e^2 g-a b e (21 e f-13 d g)-3 b^2 d (e f-d g)\right )+c^3 d^2 (4 a e (6 e f-d g)-3 b d (4 e f+d g))-c^2 e \left (2 a^2 e^2 (15 e f-22 d g)+6 a b d e (4 e f+d g)-b^2 d^2 (3 e f+7 d g)\right )\right )}{\left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^3 (d+e x)}-\frac{b c d f-b^2 e f+2 a c e f-2 a c d g+a b e g+c (2 c d f+2 a e g-b (e f+d g)) x}{2 \left (b^2-4 a c\right ) \left (c d^2-b d e+a e^2\right ) (d+e x) \left (a+b x+c x^2\right )^2}-\frac{4 a c e (2 c d-b e) (2 c d f+2 a e g-b (e f+d g))-\left (b c d-b^2 e+2 a c e\right ) \left (6 c^2 d^2 f-b e (3 b e f-2 b d g-a e g)+c (2 a e (5 e f-2 d g)-b d (2 e f+3 d g))\right )-c \left (12 c^3 d^3 f+b^2 e^2 (3 b e f-2 b d g-a e g)+2 c^2 d (2 a e (9 e f-2 d g)-3 b d (3 e f+d g))+c e \left (11 b^2 d^2 g+16 a^2 e^2 g-2 a b e (9 e f+5 d g)\right )\right ) x}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^2 (d+e x) \left (a+b x+c x^2\right )}+\frac{e^4 (c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) \log (d+e x)}{\left (c d^2-b d e+a e^2\right )^4}+\frac{\int \frac{6 c^6 d^6 f+b^5 e^5 (3 b e f-2 b d g-a e g)-c^3 e^2 \left (10 b^3 d^4 g-40 a b^2 d^3 e g+a^2 b d e^2 (138 e f-55 d g)+30 a^3 e^3 (e f-2 d g)\right )-a b c^2 e^4 \left (23 a^2 e^2 g-9 b^2 d (6 e f-5 d g)-23 a b e (3 e f-2 d g)\right )+b^3 c e^4 \left (9 a^2 e^2 g-b^2 d (6 e f-5 d g)-9 a b e (3 e f-2 d g)\right )+c^5 d^4 (2 a e (15 e f-2 d g)-3 b d (6 e f+d g))+5 c^4 d^2 e \left (2 a^2 e^2 (9 e f-4 d g)-a b d e (12 e f+d g)+b^2 d^2 (3 e f+2 d g)\right )-c \left (b^2-4 a c\right )^2 e^4 (c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) x}{a+b x+c x^2} \, dx}{\left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^4}\\ &=\frac{e \left (6 c^4 d^4 f-b^3 e^3 (3 b e f-2 b d g-a e g)-b c e^2 \left (7 a^2 e^2 g-a b e (21 e f-13 d g)-3 b^2 d (e f-d g)\right )+c^3 d^2 (4 a e (6 e f-d g)-3 b d (4 e f+d g))-c^2 e \left (2 a^2 e^2 (15 e f-22 d g)+6 a b d e (4 e f+d g)-b^2 d^2 (3 e f+7 d g)\right )\right )}{\left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^3 (d+e x)}-\frac{b c d f-b^2 e f+2 a c e f-2 a c d g+a b e g+c (2 c d f+2 a e g-b (e f+d g)) x}{2 \left (b^2-4 a c\right ) \left (c d^2-b d e+a e^2\right ) (d+e x) \left (a+b x+c x^2\right )^2}-\frac{4 a c e (2 c d-b e) (2 c d f+2 a e g-b (e f+d g))-\left (b c d-b^2 e+2 a c e\right ) \left (6 c^2 d^2 f-b e (3 b e f-2 b d g-a e g)+c (2 a e (5 e f-2 d g)-b d (2 e f+3 d g))\right )-c \left (12 c^3 d^3 f+b^2 e^2 (3 b e f-2 b d g-a e g)+2 c^2 d (2 a e (9 e f-2 d g)-3 b d (3 e f+d g))+c e \left (11 b^2 d^2 g+16 a^2 e^2 g-2 a b e (9 e f+5 d g)\right )\right ) x}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^2 (d+e x) \left (a+b x+c x^2\right )}+\frac{e^4 (c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) \log (d+e x)}{\left (c d^2-b d e+a e^2\right )^4}-\frac{\left (e^4 (c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g))\right ) \int \frac{b+2 c x}{a+b x+c x^2} \, dx}{2 \left (c d^2-b d e+a e^2\right )^4}+\frac{\left (12 c^6 d^6 f+b^5 e^5 (3 b e f-2 b d g-a e g)+b^3 c e^4 \left (10 a^2 e^2 g-b^2 d (6 e f-5 d g)-10 a b e (3 e f-2 d g)\right )-10 a b c^2 e^4 \left (3 a^2 e^2 g-b^2 d (6 e f-5 d g)-3 a b e (3 e f-2 d g)\right )-10 c^3 e^2 \left (2 b^3 d^4 g-8 a b^2 d^3 e g+6 a^3 e^3 (e f-2 d g)+3 a^2 b d e^2 (6 e f-d g)\right )+2 c^5 d^4 (2 a e (15 e f-2 d g)-3 b d (6 e f+d g))+10 c^4 d^2 e \left (2 a^2 e^2 (9 e f-4 d g)-a b d e (12 e f+d g)+b^2 d^2 (3 e f+2 d g)\right )\right ) \int \frac{1}{a+b x+c x^2} \, dx}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^4}\\ &=\frac{e \left (6 c^4 d^4 f-b^3 e^3 (3 b e f-2 b d g-a e g)-b c e^2 \left (7 a^2 e^2 g-a b e (21 e f-13 d g)-3 b^2 d (e f-d g)\right )+c^3 d^2 (4 a e (6 e f-d g)-3 b d (4 e f+d g))-c^2 e \left (2 a^2 e^2 (15 e f-22 d g)+6 a b d e (4 e f+d g)-b^2 d^2 (3 e f+7 d g)\right )\right )}{\left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^3 (d+e x)}-\frac{b c d f-b^2 e f+2 a c e f-2 a c d g+a b e g+c (2 c d f+2 a e g-b (e f+d g)) x}{2 \left (b^2-4 a c\right ) \left (c d^2-b d e+a e^2\right ) (d+e x) \left (a+b x+c x^2\right )^2}-\frac{4 a c e (2 c d-b e) (2 c d f+2 a e g-b (e f+d g))-\left (b c d-b^2 e+2 a c e\right ) \left (6 c^2 d^2 f-b e (3 b e f-2 b d g-a e g)+c (2 a e (5 e f-2 d g)-b d (2 e f+3 d g))\right )-c \left (12 c^3 d^3 f+b^2 e^2 (3 b e f-2 b d g-a e g)+2 c^2 d (2 a e (9 e f-2 d g)-3 b d (3 e f+d g))+c e \left (11 b^2 d^2 g+16 a^2 e^2 g-2 a b e (9 e f+5 d g)\right )\right ) x}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^2 (d+e x) \left (a+b x+c x^2\right )}+\frac{e^4 (c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) \log (d+e x)}{\left (c d^2-b d e+a e^2\right )^4}-\frac{e^4 (c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) \log \left (a+b x+c x^2\right )}{2 \left (c d^2-b d e+a e^2\right )^4}-\frac{\left (12 c^6 d^6 f+b^5 e^5 (3 b e f-2 b d g-a e g)+b^3 c e^4 \left (10 a^2 e^2 g-b^2 d (6 e f-5 d g)-10 a b e (3 e f-2 d g)\right )-10 a b c^2 e^4 \left (3 a^2 e^2 g-b^2 d (6 e f-5 d g)-3 a b e (3 e f-2 d g)\right )-10 c^3 e^2 \left (2 b^3 d^4 g-8 a b^2 d^3 e g+6 a^3 e^3 (e f-2 d g)+3 a^2 b d e^2 (6 e f-d g)\right )+2 c^5 d^4 (2 a e (15 e f-2 d g)-3 b d (6 e f+d g))+10 c^4 d^2 e \left (2 a^2 e^2 (9 e f-4 d g)-a b d e (12 e f+d g)+b^2 d^2 (3 e f+2 d g)\right )\right ) \operatorname{Subst}\left (\int \frac{1}{b^2-4 a c-x^2} \, dx,x,b+2 c x\right )}{\left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^4}\\ &=\frac{e \left (6 c^4 d^4 f-b^3 e^3 (3 b e f-2 b d g-a e g)-b c e^2 \left (7 a^2 e^2 g-a b e (21 e f-13 d g)-3 b^2 d (e f-d g)\right )+c^3 d^2 (4 a e (6 e f-d g)-3 b d (4 e f+d g))-c^2 e \left (2 a^2 e^2 (15 e f-22 d g)+6 a b d e (4 e f+d g)-b^2 d^2 (3 e f+7 d g)\right )\right )}{\left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^3 (d+e x)}-\frac{b c d f-b^2 e f+2 a c e f-2 a c d g+a b e g+c (2 c d f+2 a e g-b (e f+d g)) x}{2 \left (b^2-4 a c\right ) \left (c d^2-b d e+a e^2\right ) (d+e x) \left (a+b x+c x^2\right )^2}-\frac{4 a c e (2 c d-b e) (2 c d f+2 a e g-b (e f+d g))-\left (b c d-b^2 e+2 a c e\right ) \left (6 c^2 d^2 f-b e (3 b e f-2 b d g-a e g)+c (2 a e (5 e f-2 d g)-b d (2 e f+3 d g))\right )-c \left (12 c^3 d^3 f+b^2 e^2 (3 b e f-2 b d g-a e g)+2 c^2 d (2 a e (9 e f-2 d g)-3 b d (3 e f+d g))+c e \left (11 b^2 d^2 g+16 a^2 e^2 g-2 a b e (9 e f+5 d g)\right )\right ) x}{2 \left (b^2-4 a c\right )^2 \left (c d^2-b d e+a e^2\right )^2 (d+e x) \left (a+b x+c x^2\right )}-\frac{\left (12 c^6 d^6 f+b^5 e^5 (3 b e f-2 b d g-a e g)+b^3 c e^4 \left (10 a^2 e^2 g-b^2 d (6 e f-5 d g)-10 a b e (3 e f-2 d g)\right )-10 a b c^2 e^4 \left (3 a^2 e^2 g-b^2 d (6 e f-5 d g)-3 a b e (3 e f-2 d g)\right )-10 c^3 e^2 \left (2 b^3 d^4 g-8 a b^2 d^3 e g+6 a^3 e^3 (e f-2 d g)+3 a^2 b d e^2 (6 e f-d g)\right )+2 c^5 d^4 (2 a e (15 e f-2 d g)-3 b d (6 e f+d g))+10 c^4 d^2 e \left (2 a^2 e^2 (9 e f-4 d g)-a b d e (12 e f+d g)+b^2 d^2 (3 e f+2 d g)\right )\right ) \tanh ^{-1}\left (\frac{b+2 c x}{\sqrt{b^2-4 a c}}\right )}{\left (b^2-4 a c\right )^{5/2} \left (c d^2-b d e+a e^2\right )^4}+\frac{e^4 (c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) \log (d+e x)}{\left (c d^2-b d e+a e^2\right )^4}-\frac{e^4 (c d (6 e f-5 d g)-e (3 b e f-2 b d g-a e g)) \log \left (a+b x+c x^2\right )}{2 \left (c d^2-b d e+a e^2\right )^4}\\ \end{align*}
Mathematica [A] time = 6.93197, size = 1409, normalized size = 1.35 \[ -\frac{(e f-d g) e^4}{\left (c d^2-b e d+a e^2\right )^3 (d+e x)}+\frac{\left (3 e^6 f b^6-2 d e^5 g b^6-6 c d e^5 f b^5-a e^6 g b^5+5 c d^2 e^4 g b^5-30 a c e^6 f b^4+20 a c d e^5 g b^4+60 a c^2 d e^5 f b^3+10 a^2 c e^6 g b^3-50 a c^2 d^2 e^4 g b^3-20 c^3 d^4 e^2 g b^3+90 a^2 c^2 e^6 f b^2+30 c^4 d^4 e^2 f b^2-60 a^2 c^2 d e^5 g b^2+80 a c^3 d^3 e^3 g b^2+20 c^4 d^5 e g b^2-180 a^2 c^3 d e^5 f b-120 a c^4 d^3 e^3 f b-36 c^5 d^5 e f b-6 c^5 d^6 g b-30 a^3 c^2 e^6 g b+30 a^2 c^3 d^2 e^4 g b-10 a c^4 d^4 e^2 g b+12 c^6 d^6 f-60 a^3 c^3 e^6 f+180 a^2 c^4 d^2 e^4 f+60 a c^5 d^4 e^2 f+120 a^3 c^3 d e^5 g-80 a^2 c^4 d^3 e^3 g-8 a c^5 d^5 e g\right ) \tan ^{-1}\left (\frac{b+2 c x}{\sqrt{4 a c-b^2}}\right )}{\left (b^2-4 a c\right )^2 \sqrt{4 a c-b^2} \left (-c d^2+b e d-a e^2\right )^4}+\frac{\left (-3 b f e^6+a g e^6+6 c d f e^5+2 b d g e^5-5 c d^2 g e^4\right ) \log (d+e x)}{\left (c d^2-b e d+a e^2\right )^4}+\frac{\left (3 b f e^6-a g e^6-6 c d f e^5-2 b d g e^5+5 c d^2 g e^4\right ) \log \left (c x^2+b x+a\right )}{2 \left (c d^2-b e d+a e^2\right )^4}+\frac{-4 e^4 f b^5+2 d e^3 g b^5+7 c d e^3 f b^4+2 a e^4 g b^4-6 c d^2 e^2 g b^4-4 c e^4 f x b^4+2 c d e^3 g x b^4+29 a c e^4 f b^3+3 c^2 d^2 e^2 f b^3-13 a c d e^3 g b^3+7 c^2 d^3 e g b^3+6 c^2 d e^3 f x b^3+2 a c e^4 g x b^3-6 c^2 d^2 e^2 g x b^3-56 a c^2 d e^3 f b^2-12 c^3 d^3 e f b^2-3 c^3 d^4 g b^2-15 a^2 c e^4 g b^2+18 a c^2 d^2 e^2 g b^2+26 a c^2 e^4 f x b^2+6 c^3 d^2 e^2 f x b^2-10 a c^2 d e^3 g x b^2+14 c^3 d^3 e g x b^2+6 c^4 d^4 f b-46 a^2 c^2 e^4 f b+24 a c^3 d^2 e^2 f b+44 a^2 c^2 d e^3 g b-4 a c^3 d^3 e g b-48 a c^3 d e^3 f x b-24 c^4 d^3 e f x b-6 c^4 d^4 g x b-14 a^2 c^2 e^4 g x b-12 a c^3 d^2 e^2 g x b+64 a^2 c^3 d e^3 f+16 a^3 c^2 e^4 g-48 a^2 c^3 d^2 e^2 g+12 c^5 d^4 f x-28 a^2 c^3 e^4 f x+48 a c^4 d^2 e^2 f x+56 a^2 c^3 d e^3 g x-8 a c^4 d^3 e g x}{2 \left (4 a c-b^2\right )^2 \left (c d^2-b e d+a e^2\right )^3 \left (c x^2+b x+a\right )}+\frac{e^2 f b^3-2 c d e f b^2-a e^2 g b^2+c e^2 f x b^2+c^2 d^2 f b-3 a c e^2 f b+2 a c d e g b-2 c^2 d e f x b-c^2 d^2 g x b-a c e^2 g x b+4 a c^2 d e f-2 a c^2 d^2 g+2 a^2 c e^2 g+2 c^3 d^2 f x-2 a c^2 e^2 f x+4 a c^2 d e g x}{2 \left (4 a c-b^2\right ) \left (c d^2-b e d+a e^2\right )^2 \left (c x^2+b x+a\right )^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.05, size = 13679, normalized size = 13.1 \begin{align*} \text{output too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 3.65167, size = 4613, normalized size = 4.42 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]